1. A first course in logic /
پدیدآورنده: Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
2. A teaching companion to Lemmon's Beginning logic /
پدیدآورنده: George F. Schumm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
3. Automation of Reasoning :
پدیدآورنده: edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
4. Beginning logic
پدیدآورنده: Lemmon, E. J. )Edward John(
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع: ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L4
1965
5. Beginning logic
پدیدآورنده: Lemmon, E. J.)Edward John(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
1965
6. Beginning logic
پدیدآورنده: Lemmon, Edward John
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Propositional calculus,، Predicate calculus
رده :
QA
9
.
3
.
L45
7. Beginning logic /
پدیدآورنده: E.J. Lemmon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Predicate calculus.,Propositional calculus.,Calcul des prédicats.,Calcul propositionnel.,08.33 logics and argumentation.,Logica.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
8. Beginning logic
پدیدآورنده : E. J. Lemmon,Title
موضوع : Propositional calculus,Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Beginning logic
پدیدآورنده: Lemmon, Edward John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Propositional calculus , Predicate calculus
رده :
QA
9
.
3
.
L45
1987
10. Catalogue of Artificial Intelligence Tools
پدیدآورنده: edited by Alan Bundy, Lincoln Wallen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
11. Computational Logic - CL 2000 :
پدیدآورنده: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
12. Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set theory
رده :
E-BOOK
13. Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
14. Formal Engineering for Industrial Software Development :
پدیدآورنده: by Shaoying Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
15. Formal systems and recursive functions /
پدیدآورنده: edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
16. Learning Discrete Mathematics with ISETL
پدیدآورنده: by Nancy Baxter, Ed Dubinsky, Gary Levin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Mathematics.
17. Logical Structures for Representation of Knowledge and Uncertainty
پدیدآورنده: by Ellen Hisdal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
18. Many-Valued Logics :
پدیدآورنده: by Leonard Bolc, Piotr Borowik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
45
B954
1992
19. Metamathematics of Fuzzy Logic
پدیدآورنده: by Petr Hájek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
20. Propositional and predicate calculu
پدیدآورنده: / Derek Goldrei
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Propositional calculus--Problems, exercises, etc,Predicate calculus--Problems, exercises, etc
رده :
QA
,
9
.
3
,.
G65
,
2005
